Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation
نویسندگان
چکیده
منابع مشابه
Automated Inference of Symbolic Models for Gene Regulatory Networks
Motivation: Multiple models exist to describe the topology and the dynamical behavior of gene regulatory networks (GRNs). Among them, symbolic models (such as systems of ordinary differential equations) have the advantage of providing intuitive insights into the inner workings of a network so that general laws can be derived. Obtaining such models from time series data has proven to be a diffic...
متن کاملEvidence Algorithm and Sequent Logical Inference Search
In this paper we continue to develop the approach to automated search for theorem proofs started in Kyiv in 1960-1970s. This approach presupposes the development of deductive techniques used for the processing of mathematical texts, written in a formal first-order language, close to the natural language used in mathematical papers. We construct two logical calculi, gS and mS, satisfying the fol...
متن کاملVariational Inference for Logical Inference
Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of logical inference can be performed by evaluating conditional probabilities. The second is to make these calculations tractable by means of a variational approxim...
متن کاملSemi-Automated Software Integration: An Approach Based on Logical Inference
The paper addresses a problem of semi-automated enterprise application integration. More close we discuss a problem of integration of numerical simulation components in the area of manufacturing engineering information systems. We propose an approach that is based on annotation of software interfaces with formal logical specifications. Logical inference procedure is used to choose appropriate e...
متن کاملstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geoinformatics
سال: 1990
ISSN: 0388-502X,1347-541X
DOI: 10.6010/geoinformatics1990.1.2_211